Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
231	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
232	Pseudo-MDPs and Factored Linear Action Models ´ Hengshuai Yao, Csaba Szepesv´ari, Bernardo Avila Pires Xinhua Zhang Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-11 02:37:07 Functional analysis Generalized functions Constructible universe Distribution Function Pullback Vector space Linear temporal logic Μ operator Mathematics Algebra Mathematical analysis
233	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
234	Decentralised LTL Monitoring Andreas Bauer1 and Yli`es Falcone2, 1 NICTA Software Systems Research Group and Australian National University Laboratoire d’Informatique de Grenoble, UJF Universit´e Grenoble I, France Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-07-09 20:09:43 Linear temporal logic Temporal logic Model theory
235	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
236	Technical Note July 18, 2010 O(1/) Lower Bounds for Convex Optimization with Stochastic Oracles Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-07-18 08:07:51 Operator theory Differential geometry Mathematics Applied mathematics Linear temporal logic Spectral theory of ordinary differential equations Mathematical optimization Operations research Oracle machine
237	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
238	Math.comput.sci[removed]), 355–378 c 2008 Birkh¨ auser Verlag Basel/Switzerland[removed]-24, published online December 5, 2008 DOI[removed]s11786[removed] Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic
239	Overview Modelling Algorithmic Verification Comp4151 Lecture 4-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Order theory Knaster–Tarski theorem Functions and mappings Symbol Entailment Function Linear temporal logic Logic Mathematics Abstraction
240	Linear Dependent Types for Differential Privacy Marco Gaboardi?‡ Andreas Haeberlen? ? Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-05-23 12:45:27 Mathematical analysis Symbol Interpretation Golden ratio Structure Dynamical system Μ operator Linear temporal logic Mathematics Model theory Mathematical logic

UPDATE